xpi Singleton {	
  interface i = public interface Singleton;
  method m = public static Singleton getInstance(..);	
  rules:
  	i;
  	all c: class | c implements i => m methodOf c;
  	all c: class | c implements i => c.constructors.vis(private);
}